Date: Wed, 20 Nov 1996 19:17:15 GMT
Server: Apache/1.1.0
Content-type: text/html
Last-modified: Tue, 18 Jun 1996 17:54:52 GMT

<TITLE>Software Engineering Research Group - Department of Computer Science</Title>
<STRONG><B><H1>Software Engineering Research Group</STRONG></B><P>
<H2>Department of Computer Science</H2><P>
<H2>Michigan State University</H2></H1>
<!WA0><IMG SRC="http://web.cal.msu.edu/graphics/line2.GIF">

<p>

The <i>Software Engineering Research Group</i> in the Department of
Computer Science at Michigan State University performs research in the
area of formal methods for systems development.  There are two major
components making up SERG. First, there are a group of projects whose
objective is to develop techniques and tools that support the use of
formal methods in the different phases of software development.
Second, there are a group of projects that involve the use of formal
approaches to multimedia, embedded systems, hardware, parallel
processing, networking, distributed systems, and visualization.

<MENU>
<LI><!WA1><A HREF="http://web.cps.msu.edu/groups/serg/research/projects.html"> Research Projects and Relevant Papers </A> 
<LI><!WA2><A HREF="http://web.cps.msu.edu/groups/serg/research/people.html"> People </A>
<LI><!WA3><A HREF="http://web.cps.msu.edu/groups/serg/research/tools.html"> Tools </A> (under construction)
<LI><!WA4><A HREF=ftp://ftp.cps.msu.edu/pub/serg> SERG ftp site</a> 
</MENU>

<STRONG><b><H2>Local Information</b></H2>
<MENU>
<LI><!WA5><A HREF="http://www.cps.msu.edu/groups/serg/local.html"> Information just for SERG people</A>.
<LI><!WA6><A HREF="http://www.cps.msu.edu/groups/serg/Meetings/fall95-schedule.html"> SERG Meeting Information</A>.
</MENU>

<P>
<!WA7><IMG SRC="http://web.cal.msu.edu/graphics/line2.GIF">

<H2>Information for Conferences and Workshops:</H2>
<UL>
<LI><!WA8><A HREF="http://www.cerc.wvu.edu/ICRE">ICRE</A> (IEEE Int'l Conf. on Requirements Engineering)
<LI><!WA9><A HREF="http://www.cis.ohio-state.edu/icsr4">ICSR96</A> (IEEE Int'l Conf.
on Software Reuse)
<LI><!WA10><A HREF="http://www.ece.gatech.edu/conferences/WCRE/">WCRE'96</A> (IEEE Working Conference on Reverse Engineering)
<LI><!WA11><A HREF="http://www.cse.fau.edu/WIFT">WIFT</A> (Workshop on Industrial Strength Formal Specification Techniques)

<LI><!WA12><A HREF="http://www.gmd.de/Events/ISEW96">International Software Engineering Week</A>
</UL>
<p>
<H2>Some other interesting places to visit are:</H2>
<UL>
<LI><!WA13><A HREF="http://web.msu.edu/"> Michigan State University Home Page</A> 
<LI><!WA14><A HREF="http://puck.egr.msu.edu:1259/"> College of Engineering Home Page</A>
<LI><!WA15><A HREF="http://web.cps.msu.edu/">Computer Science Department Home Page</A>
<LI><!WA16><A HREF="http://www.comlab.ox.ac.uk/archive/formal-methods.html">Oxford's Formal Methods Page </A>
<LI><!WA17><A HREF="http://reality.sgi.com/employees/horning_mti/">New Larch Homepage</A>
<LI><!WA18><A HREF="http://www.sei.cmu.edu">Software Engineering Institute</A>
<LI><!WA19><A HREF="http://www.cps.msu.edu/groups/enforms/enforms-home.html">ENFORMS (Environmental Information System) Homepage</A>
<LI><!WA20><A HREF="http://www.ncstrl.org">On-Line Techreport System</A> (Supported by CRA)
<LI> <!WA21><A HREF="http://esalsun10.ent.msu.edu/esal/esal.html">
	 Entomology Spatial Analysis Lab</A>
<LI><!WA22><A HREF="http://epawww.ciesin.org/epa">EPA Great Lakes Regional Environmental Information System</A>
<LI><!WA23><A HREF="http://www.ciesin.org">Consortium for International Earth Science and Information Network (CIESIN)</A>
<LI><!WA24><A HREF="http://cra.org">Computing Research Association</A>
</UL>
<!WA25><IMG SRC="http://web.cal.msu.edu/graphics/line2.GIF">

<p>
For further information, please contact:
<p>
<ADDRESS><!WA26><A HREF="http://web.cps.msu.edu/~chengb/">Dr. Betty H.C. Cheng</A></ADDRESS>
<ADDRESS>Computer Science Department</ADDRESS>
<ADDRESS>Michigan State University</ADDRESS>
<ADDRESS>A714 Wells Hall</ADDRESS>
<ADDRESS>East Lansing, Michigan 48824</ADDRESS>
<ADDRESS>FAX: (517) 432-1061</ADDRESS>
<ADDRESS>chengb@cps.msu.edu</ADDRESS>
<HR>

